RCC[2]

Region Connection Calculus (formerly Randell, Cohn and Cui)

Qualitative Spatial Reasoning Group, University of Leeds

A formal calculus for describing spatial properties and relationships. It has been used to provide formal semantics for visual programming languages.